Buning, Hans Kleine: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2011 Tenth International Conference on Machine Learning and Applications (ICMLA) - Honolulu, HI, USA (2011.12.18-2011.12.21)] 2011 10th International Conference on Machine Learning and Applications and Workshops - State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces

Baumann, Michael, Buning, Hans Kleine

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

2

Finding read-once resolution refutations in systems of 2CNF clauses

Büning, Hans Kleine, Wojciechowski, Piotr, Subramani, K.

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 426 KB

english, 2018

3

[IEEE 2012 12th International Conference on Hybrid Intelligent Systems (HIS) - Pune, India (2012.12.4-2012.12.7)] 2012 12th International Conference on Hybrid Intelligent Systems (HIS) - Adaptive function approximation in reinforcement learning with an interpolating growing neural gas

Baumann, Michael, Buning, Hans Kleine

Year:

2012

Language:

english

File:

PDF, 532 KB

english, 2012

4

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A new approach to abstract data types II computation on ADTs as ordinary computation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 870 KB

english, 1992

5

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 756 KB

english, 1992

6

[IEEE 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications (SOCA) - Koloa, HI, USA (2013.12.16-2013.12.18)] 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications - Reducing Nondeterminism in Automated Service Composition

Mohr, Felix, Lettmann, Theodor, Buning, Hans Kleine

Year:

2013

Language:

english

File:

PDF, 508 KB

english, 2013

7

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A cut-elimination procedure designed for evaluating proofs as programs

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 566 KB

english, 1992

8

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Using finite-linear temporal logic for specifying database dynamics

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 703 KB

english, 1989

9

Extension and equivalence problems for clause minimal formulae

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 131 KB

english, 2005

10

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Is average superlinear speedup possible?

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 517 KB

english, 1989

11

Models and quantifier elimination for quantified Horn formulas

Uwe Bubeck, Hans Kleine Büning

Journal:

Discrete Applied Mathematics

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

12

On subclasses of minimal unsatisfiable formulas

Hans Kleine Büning

Journal:

Discrete Applied Mathematics

Year:

2000

Language:

english

File:

PDF, 126 KB

english, 2000

13

The Complexity of Read-Once Resolution

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 140 KB

english, 2002

14

Manna Zohar and Waldinger Richard. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp.Manna Zohar and Waldinger Richard. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp.

Büning, Hans Kleine

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 338 KB

english, 1995

15

The reachability problem for Petri nets and decision problems for Skolem arithmetic

Egon Börger, Hans Kleine Büning

Journal:

Theoretical Computer Science

Year:

1980

Language:

english

File:

PDF, 2.41 MB

english, 1980

16

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Control of ω-automata, Church's problem, and the emptiness problem for tree ω-automata

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 889 KB

english, 1992

17

DURCH SYNTAKTISCHE REKURSION DEFINIERTE KLASSEN

Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1983

Language:

german

File:

PDF, 377 KB

german, 1983

18

Satisfiable Formulas Closed Under Replacement

Hans Kleine Büning, Zhao Xishun

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 598 KB

2001

19

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set

Egon Börger, Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1980

Language:

english

File:

PDF, 684 KB

english, 1980

20

Resolution remains hard under equivalence

Hans Kleine Büning, Theodor Lettmann

Journal:

Discrete Applied Mathematics

Year:

1999

Language:

english

File:

PDF, 97 KB

english, 1999

21

Some undecidable theories with monadic predicates and without equality

Hans Kleine Büning

Journal:

Archive for Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 566 KB

english, 1981

22

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Plausibility logic

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 776 KB

english, 1992

23

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Minimal from classical proofs

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 137 KB

english, 1992

24

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Enforcement of integrity constraints in a semantic data model

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 857 KB

english, 1989

25

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Quantifier hierarchies over word relations

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 546 KB

english, 1992

26

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Equational specification of abstract types and combinators

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 754 KB

english, 1992

27

Note on the E-E Problem

Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1982

Language:

english

File:

PDF, 364 KB

english, 1982

28

[IEEE 2010 IEEE/ACM International Conference on Web Intelligence-Intelligent Agent Technology (WI-IAT) - Toronto, AB, Canada (2010.08.31-2010.09.3)] 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - External Coordination Media in Capacity-Constrained Multiagent Systems

Kemmerich, Thomas, Buning, Hans Kleine

Year:

2010

Language:

english

File:

PDF, 363 KB

english, 2010

29

Boolean Functions as Models for Quantified Boolean Formulas

Hans Kleine Büning, K. Subramani, Xishun Zhao

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 479 KB

english, 2007

30

[Lecture Notes in Computer Science] CSL '87 Volume 329 || Logic of approximation reasoning

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1988

Language:

english

File:

PDF, 1.08 MB

english, 1988

31

[IEEE 2015 IEEE International Conference on Services Computing (SCC) - New York City, NY, USA (2015.6.27-2015.7.2)] 2015 IEEE International Conference on Services Computing - Automated Online Service Composition

Mohr, Felix, Jungmann, Alexander, Buning, Hans Kleine

Year:

2015

Language:

english

File:

PDF, 338 KB

english, 2015

32

Extension and Equivalence Problems for Clause Minimal Formulae

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 120 KB

english, 2005

33

[Lecture Notes in Computer Science] CSL '88 Volume 385 || A remark on minimal polynomials of Boolean functions

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 497 KB

english, 1989

34

Foreword

Adaricheva, Kira, Italiano, Giuseppe F., Büning, Hans Kleine, Turán, György

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 124 KB

english, 2017

35

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Integration of descriptive and procedural language constructs

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

File:

PDF, 764 KB

1989

36

[IEEE 2011 XXIII International Symposium on Information, Communication and Automation Technologies (ICAT) - Sarajevo, Bosnia and Herzegovina (2011.10.27-2011.10.29)] 2011 XXIII International Symposium on Information, Communication and Automation Technologies - Using behavior models for anomaly detection in hybrid systems

Vodencarevic, Asmir, Buning, Hans Kleine, Niggemann, Oliver, Maier, Alexander

Year:

2011

Language:

english

File:

PDF, 263 KB

english, 2011

37

[Lecture Notes in Computer Science] CSL '88 Volume 385 || On the emptiness problem of tree automata and completeness of modal logics of programs

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 550 KB

english, 1989

38

[Lecture Notes in Computer Science] CSL '88 Volume 385 || On disjunctive self-reducibility

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 747 KB

english, 1989

39

[Lecture Notes in Computer Science] CSL '88 Volume 385 || The knowledge representation language LLILOG

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 1.57 MB

english, 1989

40

Inconsistency of production systems

Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen

Journal:

Data & Knowledge Engineering

Year:

1989

Language:

english

File:

PDF, 1.21 MB

english, 1989

41

Projections of vector addition system reachability sets are semilinear

Hans Kleine Büning, Theodor Lettmann, Ernst W. Mayr

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 861 KB

english, 1989

42

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2008 Volume 4996 || Searching for Autarkies to Trim Unsatisfiable Clause Sets

Kleine Büning, Hans, Zhao, Xishun

Year:

2008

Language:

english

File:

PDF, 487 KB

english, 2008

43

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Completeness with respect to interpretations in deterministic and nondeterministic polynomial time

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 357 KB

english, 1989

44

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Characterizing complexity classes by general recursive definitions in higher types

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 632 KB

english, 1989

45

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Boolean circuit complexity of algebraic interpolation problems

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 393 KB

english, 1989

46

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || On Completeness for NP via projection translations

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 783 KB

english, 1992

47

Computational complexity of quantified Boolean formulas with fixed maximal deficiency

Hans Kleine Büning, Xishun Zhao

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 687 KB

english, 2008

48

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2008 Volume 4996 || Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms

Kleine Büning, Hans, Zhao, Xishun

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

49

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Model checking of persistent Petri nets

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 846 KB

english, 1992

50

First-Order Formulas in Conjunctive Quantificational Form

Hans Kleine Büning, Theodor Lettmann

Journal:

Mathematical Logic Quarterly

Year:

1988

Language:

english

File:

PDF, 768 KB

english, 1988

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски